Level Mapping Characterizations of Selector Generated Models for Logic Programs
نویسندگان
چکیده
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated semantics, to programs with arbitrary formulae in rule heads and bodies. We study this approach by means of a unifying framework for characterizing different logic programming semantics using level mappings (Hitzler and Wendt 200x, Hitzler 2003), thereby supporting the claim that this framework is very flexible and applicable to very diversely defined semantics.
منابع مشابه
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a uniform way. Most recently, however, new methodologies have been proposed which allow one to derive uniform characterizations of different declarati...
متن کاملThe CHR-based Implementation of a System for Generation and Confirmation of Hypotheses
Talks/Presentations/GLP Meeting/Coffee/Registration are in room O28/1002. 19th Workshop on (Constraint) Logic Programming, University Ulm, Germany, February 21 23, 2005. Dietmar Seipel and Klaus Praetor: XML Transformations based on Logic Programming M.Alberti, F.Chesani, M.Gavanelli, E.Lamma, P.Mello, P.Torroni: The CHR-based Implementation of a System for Generation and Confirmation of Hypoth...
متن کاملTowards a unified theory of logic programming semantics: Level mapping characterizations of disjunctive stable models
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a uniform way. Most recently, however, a new methodology has been proposed which allows one to derive uniform characterizations of different declarati...
متن کاملLevel mapping characterizations for quantitative and disjunctive logic programs
Several different approaches of logic programming semantics have been proposed during the last two decades. These semantics varied in many aspects and it was difficult to find the exact relationships between them. Hitzler and Wendt proposed a new method, based on level mappings, which allows to provide uniform characterizations of different semantics for logic programs. They gave new characteri...
متن کاملLevel Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
Level mapping and loop formulas are two different means to justify and characterize answer sets for normal logic programs. Both of them specify conditions under which a supported model is an answer set. Though serving a similar purpose, in the past the two have been studied largely in isolation with each other. In this paper, we study level mapping and loop formulas for weight constraint and ag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005